Zaman Tetikli Almaç Planlayıcı Yazılım Bileşeni Tasarımı
نویسندگان
چکیده
منابع مشابه
Sayısal Almaç Planlayıcı Bileşeninin Biçimsel Doğrulanması
Özet Biçimsel do§rulama bir sistemin do§rulanmas n n tasar m a3amas nda yap lmas na izin veren ve son y llarda kullan m h zla artan bir yöntemdir. Bu bildiride almaç planlay c bile3eni tasar m n n gerçek zaman gereksinimleri dahil edilerek biçimsel do§rulanmas sunulmaktad r. Bu kapsamda say sal almaç planlay c bile3eninin biçimsel modelinin ve gereksinimlerinin UPPAAL model denetim arac ile bel...
متن کاملCAN/TTCAN Sistemlerin UPPAAL Aracı ile Modellenmesi ve Zamanlama Doğrulaması
Özetçe. Bir sistemi oluşturan dağıtık elektronik kontrol birimleri arasındaki iletişim gerekleri, birimler arası veriyolunun seçimini ve tasarımını belirlemektedir. Controller Area Network (CAN) veriyolu, sağladığı bant genişliği, hata toleransı ve düşük maliyeti nedeniyle araç içi haberleşmede, akıllı evlerde ve endüstriyel kontrol sistemlerinde sıklıkla kullanılan bir protokoldür. Ancak olay ...
متن کاملUYMS Araştırma Eğilimleri: Bir Sistematik Eşleme Çalışması
Özet. Bu çalışmanın amacı Ulusal Yazılım Mühendisliği Sempozyumları’nda 2003-2014 yılları arasında yaklaşık on yıllık bir zaman aralığında sunulan bildirilere dayalı olarak Türkiye’deki yazılım mühendisliği alanındaki araştırmaların özelliklerini, yöntemlerini ve genel eğilimlerini belirlemektir. 2003 yılından beri Türkiye’deki yazılım alanındaki araştırmacıları ve organizasyonları bir araya ge...
متن کاملYazılım Geliştirme Süreçlerinde Şelale Yönteminden Çevik Yaklaşıma Geçiş: Bir Teknoloji Şirketinde Uygulama
Özet. Yazılım üretiminde, yönetim disiplini ihtiyacı yazılım geliştirme yöntemlerinin geliştirilmesini gerekli kılmıştır. 1970’li yıllarda Winston W. Royce tarafından yazılan bir makalede tarif edilen Şelale (“Waterfall”) yöntemi, yazılım geliştirme yöntemlerinin en bilinen örneği olup uzun yıllar birçok firma tarafından kullanılmıştır. Şelale yöntemi, genellikle ihtiyaçların çok iyi tanımlandı...
متن کاملKullanıcı Arayüzü Tasarımlarının Üst Düzey Programlama Dillerine Dönüştürülmesine Bir Yaklaşım
Özet. Yazılımın kullanıcı ile olan iletişimini sağlayan kullanıcı arayüzlerini tasarlamak ve programlamak, gereksinim mühendisinin ve programcının ürün üretme sürecinde, uğraş harcadıkları önemli adımlardır. Gereksinim mühendisi, bu adımları kendi adına kolaylaştırmak için çeşitli tasarım araçları kullanmayı tercih eder. Bu tasarım araçlarını kullanarak, ekranları müşteri ile görüşmeler yaparke...
متن کامل